Uses of Class
edu.uky.ai.lp.logic.Fact

Packages that use Fact

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Fact in edu.uky.ai.lp.logic

Fields in edu.uky.ai.lp.logic declared as Fact

Modifier and Type	Field	Description
Fact	Rule.consequent	The fact to be deduced

Fields in edu.uky.ai.lp.logic with type parameters of type Fact

Modifier and Type	Field	Description
java.lang.Iterable<Fact>	KnowledgeBase.facts	All the facts in this knowledge base

Methods in edu.uky.ai.lp.logic that return Fact

Modifier and Type	Method	Description
Fact	Fact.substitute(Unifier unifier)

Methods in edu.uky.ai.lp.logic with parameters of type Fact

Modifier and Type	Method	Description
void	KnowledgeBase.addFact(Fact fact)	Adds a new fact to the knowledge base.

Constructors in edu.uky.ai.lp.logic with parameters of type Fact

Constructor	Description
KnowledgeBase(Rule[] rules, Fact[] facts)	Constructs a new knowledge base with the given rules and facts.
Rule(Expression antecedent, Fact consequent)	Constructs a new rule with the given antecedent and consequent.